Skip to main content

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic

Item Preview

SIMILAR ITEMS (based on metadata)
Arxiv.org
by Tomas Gavenciak; Daniel Kral; Sang-il Oum
texts
eye 21
favorite 0
comment 0
Source: http://arxiv.org/abs/1108.5457v1
Arxiv.org
by Joseph Y. Halpern; Sabina Petride
texts
eye 22
favorite 0
comment 0
Source: http://arxiv.org/abs/cs/0608022v1
Arxiv.org
by Joseph Y. Halpern; Riccardo Pucella
texts
eye 25
favorite 0
comment 0
Source: http://arxiv.org/abs/cs/0607146v6
Arxiv.org
by Joseph Y. Halpern; Vicky Weissman
texts
eye 32
favorite 0
comment 0
Source: http://arxiv.org/abs/cs/0601034v3
Arxiv.org
by Ricardo Corin; Antonio Durante; Sandro Etalle; Pieter Hartel
texts
eye 33
favorite 0
comment 0
Source: http://arxiv.org/abs/cs/0411010v2
Arxiv.org
by I. E. Protsenko; G. Reymond; N. Schlosser; P. Grangier
texts
eye 19
favorite 0
comment 0
Source: http://arxiv.org/abs/quant-ph/0206007v1
Arxiv.org
by Christoph Benzmueller; Dov Gabbay; Valerio Genovese; Daniele Rispoli
texts
eye 30
favorite 0
comment 0
Source: http://arxiv.org/abs/1106.3685v3
Arxiv.org
by Joseph Y. Halpern
texts
eye 25
favorite 0
comment 0
Source: http://arxiv.org/abs/cs/0005031v3
Arxiv.org
texts
eye 26
favorite 0
comment 0
Source: http://arxiv.org/abs/comp-gas/9406002v1
Arxiv.org
texts
eye 51
favorite 0
comment 0
Source: http://arxiv.org/abs/cs/0306106v2